Lean 4を学ぶ - pogi-log

Lean 4を学ぶ

Lean 4を学ぶには

Lean日本語コミュニティ

GitHub: lean-ja · GitHub

Discordへの招待リンクがある

Lean 4のドキュメント、学習のためのドキュメント

What is Lean - Lean Manual

Theorem Proving in Lean 4

Theorem Proving in Lean 4 - Theorem Proving in Lean 4

Theorem Proving in Lean 4 日本語訳 - Theorem Proving in Lean 4 日本語訳

『Mathematics in Lean』

『Functional Programming in Lean』

『Metaprogramming in Lean』

Lean 4の実装例

Examples - Lean Manual

Lean4 Logic Formalization - Logic Formalization in Lean 4

Natural number game

逆引き、チートシート

はじめに - Lean by Example

数学系のためのLean勉強会

yuma-mizuno/lean-math-workshop

【Lean実況】数学系のためのLean勉強会の教材を解くBasic1

【Lean実況】数学系のためのLean勉強会の教材を解くBasic2

【Lean実況】数学系のためのLean勉強会の教材を解くBasic3

Leanと機械学習とかLLM関連

A Beginner's Companion to Theorem Proving in Lean 4 | Blog | emallson.net

確認用

Q. Lean 4 学習

調査用

Google.icon Lean 4 学習(日)

Google.icon Lean 4 learn(英)